The Silent S tep in
نویسنده
چکیده
In untimed process algebras such as CCS and ACP the silent step enables abstraction from internal actions. Several formalizations of abstraction have been introduced, such as observational congruence, delay bisimu-lation and branching bisimulation. However, in real time process algebras, such as ACPp, the silent step has not yet received much attention, so far. Therefore, we formalize these semantics regarding the silent step into real time process algebra. We study the characterizing laws, which correspond closely to the untimed laws, and we investigate which of the semantics is appropriate in the context of ACPp.
منابع مشابه
A Probabilistic Approach to Transmission Expansion Planning in Deregulated Power Systems under Uncertainties
Restructuring of power system has faced this industry with numerous uncertainties. As a result, transmission expansion planning (TEP) like many other problems has become a very challenging problem in such systems. Due to these changes, various approaches have been proposed for TEP in the new environment. In this paper a new algorithm for TEP is presented. The method is based on probabilisti...
متن کاملInfluence of timing, radiation, and reconstruction on complications and speech outcomes with tracheoesophageal puncture.
BACKGROUND We evaluated the impact of radiation, reconstruction, and timing of tracheoesophageal puncture (TEP) on complications and speech outcomes. METHODS Retrospective review identified 145 patients who underwent TEP between 2003 and 2007. RESULTS Ninety-nine patients (68%) had primary and 46 (32%) had secondary TEP, with complications occurring in 65% and 61%, respectively (p = .96). T...
متن کاملImpact of Demand Response Technique on Hybrid Transmission expansion planning and Reactive Power planning
In this paper, a model for hybrid transmission expansion planning (TEP) and reactive power planning (RPP) considering demand response (DR) model has been presented. In this study RPP considered by TEP for its effects on lines capacity and reduction of system expansion costs. On the other hand the expansion of the transmission system is an important subject, especially dealing with the new i...
متن کاملNovel excitatory neuropeptides isolated from a prosobranch gastropod, Thais clavigera: The molluscan counterpart of the annelidan GGNG peptides.
The GGNG peptides are excitatory neuropeptides identified from earthworms, leeches and polychaeta. Two structurally related peptides were purified and characterized from a mollusk, Thais clavigera (prosobranch gastropod). The peptides designated as Thais excitatory peptide-1 (TEP-1) (KCSGKWAIHACWGGN-NH2) and TEP-2 (KCYGKWAMHACWGGN-NH2) are pentadecapeptides having one disulfide bond and C-termi...
متن کاملProducing superhydrophobic coatings for roof tiles
Luis A.M. Carrascosa Group TEP-243, Departamento de Química-Física, Facultad de Ciencias (Universidad de Cádiz), Puerto Real (Cadiz), Spain, [email protected] Dario S. Facio Group TEP-243, Departamento de Química-Física, Facultad de Ciencias (Universidad de Cádiz), Puerto Real (Cadiz), Spain, [email protected] Maria J. Mosquera Group TEP-243, Departamento de Química-Física, F...
متن کامل